A Type-Preserving Compiler from System F to Typed Assembly Language

L'utilisation des méthodes formelles est de plus en plus courante dans le développement logiciel, et les systèmes de types sont la méthode formelle qui a le plus de succès. L'avancement des méthodes formelles présente de nouveaux défis, ainsi que de nouvelles opportunités. L'un des défis est d'assurer qu'un compilateur préserve la sémantique des programmes, de sorte que les propriétés que l'on garantit à propos de son code source s'appliquent également au code exécutable. Cette thèse présente un compilateur qui traduit un langage fonctionnel d'ordre supérieur avec polymorphisme vers un langage assembleur typé, dont la propriété principale est que la préservation des types est vérifiée de manière automatisée, à l'aide d'annotations de types sur le code du compilateur. Notre compilateur implante les transformations de code essentielles pour un langage fonctionnel d'ordre supérieur, nommément une conversion CPS, une conversion des fermetures et une génération de code. Nous présentons les détails des représentation fortement typées des langages intermédiaires, et les contraintes qu'elles imposent sur l'implantation des transformations de code. Notre objectif est de garantir la préservation des types avec un minimum d'annotations, et sans compromettre les qualités générales de modularité et de lisibilité du code du compilateur. Cet objectif est atteint en grande partie dans le traitement des fonctionnalités de base du langage (les «types simples»), contrairement au traitement du polymorphisme qui demande encore un travail substantiel pour satisfaire la vérification de type.

Diabetesassocierade autoantikroppar hos barn med nydiagnostiserad typ 1 diabetes i relation till demografiska och kliniska faktorer

Syftet med studien var att undersöka sambanden mellan de diabetesassocierade autoantikropparna ICA, IAA, GADA, IA-2A och klinisk manifestation, HLA-genotyp, släktanamnes samt demografiska faktorer såsom ålder och kön hos finländska barn under 15 år med nydiagnostiserad typ 1 diabetes. Analyserna baserades på ett utdrag ur det finländska pediatriska diabetesregistret (2257 barn). Antikroppsfrekvenserna fastställdes utgående från halterna i serum. Alla barn HLA-genotypades och indelades i DR3- och DR4-positiva. Småbarnen (?5 år) hade ofta 3-4 positiva antikroppar. Äldre barn hade färre autoantikroppar men en allvarligare metabolisk dekompensering vid diagnostillfället. Diabetisk ketoacidos var vanligare hos flickor. I gruppen med endast en positiv autoantikropp var IA-2A-barnen oftare acidotiska, i övrigt påverkade inte antikroppsprofilen den kliniska bilden. Högriskgenotypen DR4/non-DR3 var associerad med IA-2A, som verkar fungera som en markör för betacelldestruktion. Det omfattande patientmaterialet gav stöd åt tidigare rapporter om samband mellan autoantikroppar och ålder, kön samt genotyp. Den allvarligare metaboliska dekompenseringen hos äldre barn tyder på att de inte diagnostiseras lika snabbt som småbarn.

Kronisk njursjukdom hos typ 1 diabetiker utan albuminuri

Inledning Diabetisk nefropati är den mest fruktade diabeteskomplikationen. Utvecklingen av nefropati har redan länge undersökts genom mätning av mängden albuminutsöndring i urinen. Nyligen har man upptäckt att njurfunktionen kan vara nedsatt oberoende av albuminuri. Mål Att undersöka prevalensen samt associationer av kronisk njursvikt utan albuminuri (nonalbuminuric renal disease eller NARD) hos typ 1 diabetiker. Betydelsen av blodtrycksmedicinering, speciellt ACE-/AT2-inhibitorer, behandlas också. Material och metoder Studien ingår i den nationella multicenterstudien FinnDiane. En population på ca. 4000 typ 1 diabetiker har analyserats. Patienter med nefropati utan albuminuri identifierades. Statistiska analyser gjordes med SPSS 19.0. Njurfunktionen (eGFR) estimerades med CKD-EPI ekvationen. Resultat Prevalensen av NARD inom den normoalbuminura gruppen var 3,5%, prevalensen hos män 1,0% samt hos kvinnor 5,4%. Sammanlagt 79 patienter med NARD (12 män och 67 kvinnor) identifierades. ACE-/AT2-inhibitorer kan påverka prevalensen av NARD men inte statistiskt signifikant (p=0,067). Risken för progression av NARD till mikroalbuminuri var betydligt större hos denna grupp (p=0,006) i jämförelse med den normoalbuminura gruppen med normal njurfunktion. I en överlevnadsanalys framkom att mortaliteten var högre inom mikroalbuminuri-gruppen än inom NARD-gruppen (p<0,001, ålders- samt könskorrigerat). Diskussion Prevalensen av NARD var lägre än i motsvarande studier utomlands på typ 2 diabetiker. NARD patienterna hade en ökad risk för progression till mikroalbuminuri men inte en ökad mortalitet. ACE-/AT2-inhibitorerna kan delvis förklara NARD fenomenet. Nya studier med ett större antal NARD patienter behövs för en noggrannare utredning.

Additions à la bibliographie de Charles Porset sur les sciences du langage de Port-Royal aux Idéologues (1660-1818)

info:eu-repo/semantics/published

Le suicide comme langage de l'oppression. Ethnographie d'un service d'urgences psychiatriques

Ce travail s'intéresse à la problématique du suicide à partir de l'émergence en Suisse, vers la fin des années '90, de la prévention du suicide comme préoccupation sociale et politique. Au début, ce sont les milieux associatifs qui ont soulevé à cette question en percevant le suicide comme le reflet d'une souffrance d'origine sociale. Par la suite, la prévention du suicide est progressivement devenue une problématique de santé publique appréhendée essentiellement sous le registre médical comme étant le symptôme d'une pathologie psychiatrique. Après une première partie consacrée aux processus sociopolitiques et aux transformations morales touchant le suicide et sa prévention, ce travail approfondit, au travers d'un terrain ethnographique, la prise en charge des personnes présentant des problématiques suicidaires au sein d'un service d'urgences psychiatriques.Malgré une approche se voulant biopsychosociale, l'analyse des discours et des pratiques soignantes montre que la dimension sociale est largement négligée, conduisant à une médicalisation de situations de détresse qui sont principalement de nature sociale. En effet, parmi la population qui fréquente le service, on observe une surreprésentation de personnes issues des classes sociales défavorisées présentant souvent des trajectoires biographiques particulièrement difficiles. Au fil des entretiens avec les patients émerge une analyse voyant la souffrance psychique et la prise en charge psychiatrique comme étant aujourd'hui une manière d'obtenir une reconnaissance sociale et symbolique. Les problématiques suicidaires peuvent ainsi être interprétées comme une forme d'expression, un langage au travers duquel s'exprime la position sociale défavorisée.En adoptant une posture militante construite à partir de la réalité ethnographique, les problématiques suicidaires sont analysées comme l'expression d'une condition d'oppression liée à un cadre social et économique de plus en plus contraignant, à des rapports de pouvoir inégaux ainsi qu'à une lecture individualisante, médicalisante et pathologisante des problèmes sociaux.The present thesis discusses suicide prevention in Switzerland, which emerged as a social and political issue at the end of the '90s. At first, this question was taken up by associations considering suicide as a reflection of social suffering. Thereafter, suicide prevention gradually became a public health matter conceived with a medical approach as a symptom of a psychiatric disease. The first part of this work analyzes the sociopolitical process and moral transformations concerning suicide and its prevention. The second part is based on an ethnographic fieldwork conducted in a psychiatric emergency unit that attends people who have tried to attempt their life or consider doing it. Through the analysis of discourses and practices of the medical staff, this research shows that the social aspect of suicide is widely neglected, leading to a medicalization of social problems. In fact, amongst patients attending the emergency unit, there is an over-­-representation of people from disadvantaged classes having very difficult life stories. Interviews with patients also revealed that psychic suffering and psychiatric treatment is nowadays a way to get social and symbolical recognition. Suicidal problems can be understood as a language expressing a disadvantaged social position. By adopting a militant position constructed from the ethnographic reality, suicide is analyzed as the expression of an oppressed condition related to a more and more restricted social and economic situation, to unequal power relations as well as to an individualistic, medical and pathological interpretation of social problems.

Les femmes et le Langage / Rémy de Gourmont

Collection : Le Sage et ses amis ; 9

Le mauvais langage rectifié, le bon langage enseigné, 2,000 locutions vicieuses corrigées : les dites et ne dites pas (8e édition) / par Éliçagaray

Collection : Bibliothèque illustrée d'enseignement élémentaire

Garin le Loherain : chanson de geste composée au XIIe siècle / par Jean de Flagy ; mise en nouveau langage par A. Paulin Paris,...

[Garin le Lorrain (français). 1862]

Garin le Loherain : chanson de geste composée au XIIe siècle / par Jean de Flagy ; mise en nouveau langage par A. Paulin Paris,...

[Garin le Lorrain (français). 1862]